CADS*: Computer-Aided Development of Self-* Systems
نویسندگان
چکیده
We present the prototype tool CADS* for the computeraided development of an important class of self-* systems, namely systems whose components can be modelled as Markov chains. Given a Markov chain representation of the IT components to be included into a self-* system, CADS* automates or aids (a) the development of the artifacts necessary to build the self-* system; and (b) their integration into a fully-operational self-* solution. This is achieved through a combination of formal software development techniques including model transformation, model-driven code generation and dynamic software reconfiguration.
منابع مشابه
Prospects of LGS: Application and Development
The paper presents LGS, a geometric solver by LEDAS for systems requiring solving of geometric problems with constraints. LGS is presently a stable marketable product, and so the paper focuses on the future of LGS, such as possible development paths and applications to real tasks. Apart from the traditional use in large parametric CAD systems, possibilities for integrating the solver in small C...
متن کاملAn Overview of Computer Aided Design/Computer Aided Manufacturing (CAD/CAM) in Restorative Dentistry
Objective: To review the current knowledge of CAD/CAM in dentistry and its development in the mentioned field. Sources: An electronic search was conducted across Ovid Medline, complemented by manual search across individual databases, such as Cochrane, Medline and ISI Web of Science databases and Google Scholar for literature analysis on the mentioned topic. The studies were reviewed thoroughly...
متن کاملTHE IMPACT OF USING COMPUTER-AIDED ARGUMENT MAPPING (CAAM) ON THE IMPROVEMENT OF IRANIAN EFL LEARNERS’ WRITING SELF-REGULATION
The present study was conducted to investigate the impact of using computer-aided argument mapping (CAAM) on the improvement of Iranian learners’ writing self-regulation. To this end, 90 participants out of 127 senior university students in English translation were selected after administrating language proficiency test, as well as an essay writing test for the purpose of homogenizing the learn...
متن کاملMotivational and Learning Effects of Computer-aided Procedures on Students' Reading Comprehension
Reading development and instruction is a pedagogical priority at all academic levels. Historically, in the educational field, numerous efforts have been made to facilitate the complex process of foreign language reading comprehension. More recently, increasing attention has been paid to the use of computers for developing reading comprehension skills and various efforts have been made in this r...
متن کاملLung-Deep: A Computerized Tool for Detection of Lung Nodule Patterns using Deep Learning Algorithms Detection of Lung Nodules Patterns
The detection of lung-related disease for radiologists is a tedious and time-consuming task. For this reason, automatic computer-aided diagnosis (CADs) systems were developed by using digital CT scan images of lungs. The detection of lung nodule patterns is an important step for the automatic development of CAD system. Currently, the patterns of lung nodule are detected through domain-expert kn...
متن کامل